大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

0
索取号:
作者:Duparc、 Jacques.、Henzinger、 Thomas A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Noise and Vibration Mitigation for Rail Transportation Systems [electronic resource] : Proceedings of the 9th International Workshop on Railway Noise, Munich, Germany, 4 - 8 September 2007

0
索取号:
作者:Schulte-Werning、 Burkhard.、Thompson、 David.、Gautier、 Pierre-Etienne.、Hanson、 Carl.、Hemsworth、 Brian.、Nelson、 James.、Maeda、 Tatsuo.、Vos、 Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers

0
索取号:
作者:Brandst盲dt、 Andreas.、Kratsch、 Dieter.、M眉ller、 Haiko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III

0
索取号:
作者:Apolloni、 Bruno.、Howlett、 Robert J.、Jain、 Lakhmi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II

0
索取号:
作者:Apolloni、 Bruno.、Howlett、 Robert J.、Jain、 Lakhmi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I

0
索取号:
作者:Apolloni、 Bruno.、Howlett、 Robert J.、Jain、 Lakhmi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007. Proceedings

0
索取号:
作者:Haake、 J枚rg M.、Ochoa、 Sergio F.、Cechich、 Alejandra.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human-Computer Interaction-INTERACT 2007 [electronic resource] : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II

0
索取号:
作者:Baranauskas、 C茅cilia.、Palanque、 Philippe.、Abascal、 Julio.、Barbosa、 Simone Diniz Junqueira.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Probability and Real Trees [electronic resource] : 脡cole d'脡t茅 de Probabilit茅s de Saint-Flour XXXV - 2005

0
索取号:
作者:Evans、 Steven Neil.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Human-Computer Interaction-INTERACT 2007 [electronic resource] : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

0
索取号:
作者:Baranauskas、 C茅cilia.、Palanque、 Philippe.、Abascal、 Julio.、Barbosa、 Simone Diniz Junqueira.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings

0
索取号:
作者:Li、 Keqiu.、Jesshope、 Chris.、Jin、 Hai.、Gaudiot、 Jean-Luc.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Multiple Stars Across the H-R Diagram [electronic resource] : Proceedings of the ESO Workshop held in Garching, Germany, 12-15 July 2005

0
索取号:
作者:Hubrig、 Swetlana.、Petr-Gotzens、 Monika.、Tokovinin、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

0
索取号:
作者:Paillier、 Pascal.、Verbauwhede、 Ingrid.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fast Software Encryption [electronic resource] : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

0
索取号:
作者:Biryukov、 Alex.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

0
索取号:
作者:Dahl、 V茅ronica.、Niemel盲、 Ilkka.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

0
索取号:
作者:Altenkirch、 Thorsten.、McBride、 Conor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类